-
1 primitive inference
Большой англо-русский и русско-английский словарь > primitive inference
-
2 primitive inference
Математика: примитивный вывод -
3 primitive inference
мат. -
4 primitive inference
Англо-русский словарь по исследованиям и ноу-хау > primitive inference
-
5 inference
(логический) вывод; суждение; умозаключение -
6 примитивный вывод
Большой англо-русский и русско-английский словарь > примитивный вывод
-
7 operation
ˌɔpəˈreɪʃən сущ.
1) а) деятельность, работа, приведение в действие б) действие, операция to conduct an operation ≈ вести какую-л. работу to launch an operation ≈ запускать действие The operation of the pump is very simple. ≈ Принцип действия насоса очень прост. in operation ≈ в действии in full operation ≈ на полном ходу cloak-and-dagger operation, covert operation, secret operation ≈ секретная операция guerrilla operations ≈ партизанские действия joint operations ≈ объединенные действия, усилия large-scale operations ≈ широкомасштабные действия mine-sweeping operations ≈ действия по тралению мин mopping-up operations ≈ операция по очистке захваченной территории от противника rescue operation ≈ спасательная операция Syn: action, activity, agency
2) процесс the operations of the mind ≈ ментальные процессы;
процессы, происходящие в головном мозге Syn: act
3) воздействие, действенность, эффективность He cannot enlarge, in his own favour, the legal or equitable operation of the instrument. ≈ Он не может расширить в свою пользу юридическую или объективную действенность механизма. Syn: efficacy, influence
1., virtue, force
1.
4) применение на практике какого-либо алгоритма, процедуры;
введение в действие каких-либо механизмов а) фин. финансовая операция (часто ≈ с большой степенью риска) ;
осуществление финансовой операции б) проведение опыта, эксперимента
5) мед. операция (хирургическая) to perform an operation ≈ проводить, делать операцию to have, undergo an operation ≈ подвергнуться операции exploratory operation ≈ медицинское исследование major operation ≈ серьезная операция minor operation ≈ легкая операция recurrent operation ≈ повторная операция transplant operation ≈ операция по пересадке органов или тканей an operation for ≈- операция по an operation for the removal of gallstones ≈ операция по удалению камней в желчном пузыре The operation was effective. ≈ Операция прошла успешно. The operation was of no effect. ≈ Операция не принесла успеха
6) воен. боевые действия, военные операции
7) мат. действие
8) разработка, эксплуатация operation costs ≈ расходы по эксплуатации
9) управление( механизмом, устройством, предприятием и т. п.) For some time electricity has been used for the operation of the machine. ≈ В течение некоторого времени пользовались электричеством для управления станком. действие, работа;
функционирование;
- the * of binding a book переплетные работы;
- to begin *s начать работу;
- to be in * быть в эксплуатации;
действовать, функционировать, работать;
- to be no longer in * больше не эксплуатироваться, быть снятым с эксплуатации;
- the plant has been in * for several weeks завод работает уже несколько недель;
- are the street cars in *? трамваи ходят? (юридическое) вступать в силу;
- when does that rule go into *? когда это правило вступит в силу?;
- to bring into * вводить в строй;
пускать в эксплуатацию;
- to extend *s продлевать срок службы (машины) ;
- the * of this machine is simple этой машиной легко управлять процесс;
- * of breathing процесс дыхания действие, воздействие;
- the * of alcohol on the mind воздействие алкоголя на умственную деятельность торговая или финансовая операция;
сделка;
- *s on the stock exchange биржевые операции;
- engaged in some mysterious *s занятый какими-то тайноответственными махинациями (медицина) хирургическая операция;
- abdominal * полостная операция;
- chest * операция грудной полости;
- stomach * операция на желудке;
- tonsils * удаление миндалин;
- major * тяжелая операция;
- to perform an * for smth. делать операцию. по поводу чего-л;
- to undergo an * переносить операцию обыкн. pl работы, операции;
- reconstruction *s began at once работы по реконструкции начались сразу же( военное) операция, боевые действия;
бой;
сражение;
- *s map карта обстановки, оперативная схема;
- * order боевой приказ;
- *s officer (американизм) офицер оперативного отдела штаба;
штабной оператор;
- *s room (авиация) командный пункт;
пункт управления;
(морское) оперативная рубка;
- line of *s операционное направление, направление наступления разработка, эксплуатация ( техническое) операция, цикл обработки (математика) действие, операция arithmetic ~ вчт. арифметическая операция arithmetic ~ вчт. арифметическое действие arithmetic ~s вчт. арифметические действия array ~ вчт. матричная операция associative ~ вчт. ассоциативная операция asynchronous ~ вчт. асинхронная работа asynchronous ~ вчт. асинхронное выполнение операций atomic ~ вчт. атомарная операция authorized ~ вчт. санкционированная операция battery ~ работа с батарейным питанием bear ~ бирж. игра на понижение binary ~ вчт. бинарная операция bitwise ~ вчт. поразрядная операция black-ink ~ грязная сделка block ~ вчт. действие с блоками bookkeeping ~ вчт. служебная операция boolean ~ вчт. логическая операция borrowing ~ операция по заимствованию brokerage ~ брокерская операция bull ~ бирж. сделка на повышение биржевых курсов bull ~ бирж. спекуляция на повышение to call into ~ привести в действие;
in operation в действии;
in full operation на полном ходу capital ~ сделка с капиталом charges relating to the issue ~ затраты, связанные с выпуском ценных бумаг clerical ~ конторская операция collective ~ совместная операция ~ действие, операция;
работа;
приведение в действие;
to come into operation начать действовать come into ~ вступать в силу come into ~ вступать в строй come into ~ начинать действовать coming into ~ вступление в силу coming into ~ вступление в строй coming into ~ приведение в действие connection-oriented ~ вчт. связь с логическим соединением connectionless ~ вчт. связь без логического соединения continued ~ непрерывная работа continuous ~ непрерывная эксплуатация continuous ~ работа в непрерывном режиме covering ~ бирж. операция покрытия cross-frontier ~ внешнеторговая сделка debit-credit ~ операция учета прихода и расхода discontinue an ~ прекращать работу down ~ вчт. занятие dyadic ~ вчт. бинарная операция enter into ~ вступать в действие enter into ~ вступать в силу factory ~ оперативное управление производством fade ~ вчт. операция постепенного стирания fail-safe ~ вчт. безопасный режим going into ~ ввод в действие going into ~ ввод в эксплуатацию graft ~ вчт. операция подсоединения ветви group ~ вчт. групповая операция housekeeping ~ вспомогательная операция housekeeping ~ вчт. организующая операция housekeeping ~ вчт. служебная операция housekeeping ~ управляющая операция illegal ~ вчт. запрещенная операция image ~ вчт. операция обработки изображения immediate ~ вчт. операция с немедленным ответом to call into ~ привести в действие;
in operation в действии;
in full operation на полном ходу to call into ~ привести в действие;
in operation в действии;
in full operation на полном ходу inference ~ вчт. операция логического вывода initial ~ ввод в действие input ~ вчт. операция ввода input-output ~s вчт. операции ввода-вывода joint ~ совместная работа joint ~ agreement договор о совместной деятельности kernel ~ вчт. операция ядра keystroke ~ вчт. операция инициируемая нажатием клавиши large-scale ~ крупномасштабная операция linear ~ вчт. линейная операция linear ~s вчт. линейные операции logic ~ вчт. логическая операция loss during ~ потери при эксплуатации manual ~ ручная операция manual ~ ручная работа maximization ~ операция максимизации maximization ~ операция определения максимума maximum ~ операция максимизации military ~ военная операция minimization ~ операция минимизации mismatch ~ вчт. операция обнаружения рассогласования monadic ~ вчт. унарная операция multiple ~s вчт. совмещенные операции multitask ~ вчт. многозадачный режим neighborhood ~ операция определения соседства no ~ вчт. холостая операция nonarithmetical ~ вчт. неарифметическая операция nondata ~ вчт. операция не связанная с обработкой данных normal ~ нормальная эксплуатация off-line ~ вчт. автономная работа on-line ~ вчт. работа в реальном времени one-shot ~ вчт. пошаговая работа one-step ~ вчт. пошаговая работа operation ведение хозяйственной деятельности ~ мат. действие ~ действие, операция;
работа;
приведение в действие;
to come into operation начать действовать ~ действие ~ вчт. операция ~ операция (хирургическая) ~ проведение опыта, эксперимента ~ процесс ~ работа ~ разработка, эксплуатация ~ технологическая операция ~ торговая операция ~ торговля ~ управление (предприятием и т. п.) ~ управление машиной ~ управление производством ~ установка ~ учетно-счетная операция ~ финансовая операция ~ функционирование ~ цикл обработки ~ эксплуатация ~ юридическая сила ~ юридические последствия ~ юридическое действие ~ attr. эксплуатационный;
operation costs расходы по эксплуатации ~ attr. эксплуатационный;
operation costs расходы по эксплуатации ~ of company деятельность компании ~ of railway работа железной дороги OR ~ вчт. операция ИЛИ output ~ вчт. операция вывода overhead ~ вчт. служебная операция parallel ~ параллельная сделка paste ~ вчт. операция вставки pipeline ~ вчт. работа в конвейерном режиме pixel-level ~ вчт. операция обработки элементов изображения primary ~ первичная обработка primary ~ первичная операция primitive ~ вчт. базовая операция prune ~ вчт. операция отсечения queue ~ вчт. работа с очередями queueing ~ вчт. образование очереди queueing ~ работа системы массового обслуживания real-time ~ вчт. вычисление в реальном времени real-time ~ вчт. работа в реальном масштабе времени red ink ~ убыточная операция red ink ~ убыточная сделка red-tape ~ вчт. служебная операция refinement ~ вчт. уточнение данных refunding ~ операция рефинансирования refunding ~ рефинансирование retrieval ~ вчт. информационно-поисковая операция risk capital ~ операция с рисковым капиталом round-the-clock ~ круглосуточная работа round-the-clock ~ непрерывное производство sales-floor ~ работа торгового зала магазина scheduled ~ вчт. регламентная работа secondary ~ добыча нефти вторичными методами semiduplex ~ вчт. полудуплексный режим работы service ~ вчт. операция обслуживания simultaneous ~ параллельная работа single-mode ~ вчт. одномодовый режим single-program ~ вчт. однопрограммная работа single-store ~ торговые операции фирмы в одном магазине single-task ~ вчт. работа с одной заадчей small-signal ~ вчт. режим малых сигналов smoothing ~ вчт. операция сглаживания start-stop ~ вчт. стартстопный режим syndicate ~ синдицированная операция takedown ~ вчт. операция подготовки к следующей работе team ~ вчт. групповая разработка time consuming ~ вчт. длинная операция two-shift ~ двухсменная работа unary ~ вчт. унарная операция unattended ~ работа без надзора unauthorized ~ несанкционированное действие under-control ~ подконтрольная эксплуатация union ~ вчт. операция ИЛИ unit ~ вчт. единичное преобразование unloading ~ вчт. операция вывода unloading ~ вчт. операция разгрузки unnecessary ~ вчт. неправильное действие реле up ~ вчт. операция освобождения venture ~ финансовая операция, связанная с риском write ~ вчт. операция записиБольшой англо-русский и русско-английский словарь > operation
-
8 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
-
9 operation
1) операция; действие2) работа; функционирование4) срабатывание ( прибора)5) редк. управление•- arithmetic operation
- array operation
- asynchronous operation
- atomic operation
- attend operation
- autohorized operation
- auto-parallel operation
- auto-serial operation
- auxiliary operation
- average calculating operation
- average calculation operation
- background operation
- battery operation
- biconditional operation
- bidirectional operation
- binary operation
- bitwise operation
- bit operation
- bookkeeping operation
- Boolean add operation
- Boolean operation
- both-way operation
- branch operation
- byte operation
- byte/word operations
- byte-write operation
- carry clearing operation
- checkpointing operation
- clerical operation
- collation operation
- combination operation
- combined operation
- comparison operation
- complementary operation
- complete operation
- compound operation
- computer operation
- concurrent operation
- conditional implication operation
- conditional operation
- conjunction operation
- consecutive operation
- consistency operation
- control operation
- control transfer operation
- conversational mode operation
- conversational operation
- corner-turning operation
- cumulative operation
- dagger operation
- data processing operation
- database operation
- declarative operation
- decoded operation
- device-dependent operation
- digit-to-digit operation
- digtiwise operation
- disjunction operation
- do-nothing operation
- don't care operation
- double-address operation
- double-length operation
- double-precision operation
- down operation
- drag and drop operation
- dual operation
- duplex operation
- dyadic operation
- either way operation
- EITHER-OR operation
- equality operation
- equivalence operation
- error-free operation
- except operation
- exchange operation
- exclusive OR operation
- fade operation
- fail-safe operation
- fail-soft operation
- fast rewind operation
- fixed-cycle operation
- fixedcycle operation
- fixed-point operation
- floating-point operation
- flow of control operation
- foreground operation
- full-duplex operation
- graft operation
- grouped operation
- half-duplex operation
- handshaked operation
- hands-on operation
- high-gain operation
- high-speed operation
- housekeeping operation
- I/O operations
- identity operation
- IF-AND-ONLY-IF operation
- IF-THEN operation
- illegal operation
- immediate operation
- implication operation
- inclusive OR operation
- inference operation
- input operation
- input/output operations
- integer operation
- interframe operation
- interlaced operations
- interleaving operations
- irreversible operation
- iterative operation
- jump operation
- keystroke operation
- large-signal operation
- link-following operation
- loading operation
- logical operation
- look-up operation
- loop operation
- low-level signal operation
- machine operation
- main operation
- majority operation
- make-break operation
- manual operation
- marginal operation
- marking operation
- master-slave operation
- match operation
- match-merge operation
- matrix operation
- meet operation
- mismatch operation
- monadic operation
- monitor-controlled operation
- move operation
- multibyte operation
- multidimensional operation
- multijob operation
- multiple operations
- multiple-computer operation
- multiple-processor operation
- multiple-shift operation
- multiple-word operation
- multiplex operation
- multiplexed operations
- multiply-accumulate operation
- multitask operation
- multitrack operation
- N-adic operation
- naming operation
- NAND operation
- N-ary operation
- nearest-value operation
- neighborhood operation
- NEITHER-NOR operation
- next higher retrieval operation
- next lower retrieval operation
- no operation
- no-failure operation
- nonarithmetical operation
- nonconjunction operation
- nondata operation
- nondisjunction operation
- nonequivalence operation
- nonidentity operation
- nonprimitive operation
- NOR operation
- NOT AND operation
- NOT BOTH operation
- NOT operation
- NOT-IF-THEN operation
- NOT-OR operation
- nullary operation
- off-line operation
- one-pass operation
- one-shot operation
- one-step operation
- one-way operation
- on-going operations
- on-line operation
- OR operation
- output operation
- overhead operation
- P operation
- packet-mode operation
- parallel operation
- parallel-parallel operation
- parallel-serial operation
- part-word operation
- paste operation
- peripheral operation
- pipeline operation
- pixel-level operation
- pointer operation
- polar operation
- primitive operation
- privileged operation
- prune operation
- pseudo off-line operation
- pulsed operation
- quarternary operation
- queue operation
- real operation
- real-time operation
- record-at-a-time operation
- red-tape operation
- reductive operation
- refinement operation
- register operation
- relational algebraic operation
- relational join operation
- remote operation
- repetitive operation
- retrieval operation
- rewind operation
- RMW operation
- scalar operation
- scale operation
- scanning operation
- scatter-write operation
- scheduled operation
- screening operation
- search operation
- sensing operation
- sensory operation
- sequential operation
- serial digit operation
- serial operation
- serial word operation
- serial-parallel operation
- serial-serial operation
- set operation
- set-at-a-time operation
- Sheffer-stroke operation
- shift operation
- simplex operation
- simultaneous operation
- single operation
- single-program operation
- single-shot operation
- single-step operation
- single-task operation
- slave operation
- small-signal operation
- split-word operation
- stable operation
- stack operation
- stacked job operation
- standard operation
- start-stop operation
- step-and-repeat operations
- step-by-step operation
- storage operation
- streaming operation
- string operation
- synchronous operation
- takedown operation
- team operation
- threshold operation
- time-consuming operation
- time-sharing operation
- transfer operation
- transmit operation
- triggerable operation
- Turing elementary operation
- two-way alternative operation
- two-way-simultaneous operation
- unary operation
- unattended operation
- unauthorized operation
- union operation
- unloading operation
- up operation
- V operation
- variable-cycle operation
- variable-length operation
- vector operation
- word operation
- write operation
- write-on match operation
- write-while read operation
- yes-no operationEnglish-Russian dictionary of computer science and programming > operation
-
10 rule
1) правило, норма; норматив || устанавливать правила или нормы2) строит. прав'ило3) линейка || линовать, разлиновывать4) правление || управлять, руководить, командовать5) мат. закон6) графить, разграфлять•set closed under rule — множество, замкнутое относительно операции
- blind man's ruleto lay down the rule — формулировать [устанавливать] правило
- box rule- cut rule- em rule- slow-in- sum rule- three sigma rule -
11 operation
[ˌɔpəˈreɪʃən]arithmetic operation вчт. арифметическая операция arithmetic operation вчт. арифметическое действие arithmetic operations вчт. арифметические действия array operation вчт. матричная операция associative operation вчт. ассоциативная операция asynchronous operation вчт. асинхронная работа asynchronous operation вчт. асинхронное выполнение операций atomic operation вчт. атомарная операция authorized operation вчт. санкционированная операция battery operation работа с батарейным питанием bear operation бирж. игра на понижение binary operation вчт. бинарная операция bitwise operation вчт. поразрядная операция black-ink operation грязная сделка block operation вчт. действие с блоками bookkeeping operation вчт. служебная операция boolean operation вчт. логическая операция borrowing operation операция по заимствованию brokerage operation брокерская операция bull operation бирж. сделка на повышение биржевых курсов bull operation бирж. спекуляция на повышение to call into operation привести в действие; in operation в действии; in full operation на полном ходу capital operation сделка с капиталом charges relating to the issue operation затраты, связанные с выпуском ценных бумаг clerical operation конторская операция collective operation совместная операция operation действие, операция; работа; приведение в действие; to come into operation начать действовать come into operation вступать в силу come into operation вступать в строй come into operation начинать действовать coming into operation вступление в силу coming into operation вступление в строй coming into operation приведение в действие connection-oriented operation вчт. связь с логическим соединением connectionless operation вчт. связь без логического соединения continued operation непрерывная работа continuous operation непрерывная эксплуатация continuous operation работа в непрерывном режиме covering operation бирж. операция покрытия cross-frontier operation внешнеторговая сделка debit-credit operation операция учета прихода и расхода discontinue an operation прекращать работу down operation вчт. занятие dyadic operation вчт. бинарная операция enter into operation вступать в действие enter into operation вступать в силу factory operation оперативное управление производством fade operation вчт. операция постепенного стирания fail-safe operation вчт. безопасный режим going into operation ввод в действие going into operation ввод в эксплуатацию graft operation вчт. операция подсоединения ветви group operation вчт. групповая операция housekeeping operation вспомогательная операция housekeeping operation вчт. организующая операция housekeeping operation вчт. служебная операция housekeeping operation управляющая операция illegal operation вчт. запрещенная операция image operation вчт. операция обработки изображения immediate operation вчт. операция с немедленным ответом to call into operation привести в действие; in operation в действии; in full operation на полном ходу to call into operation привести в действие; in operation в действии; in full operation на полном ходу inference operation вчт. операция логического вывода initial operation ввод в действие input operation вчт. операция ввода input-output operations вчт. операции ввода-вывода joint operation совместная работа joint operation agreement договор о совместной деятельности kernel operation вчт. операция ядра keystroke operation вчт. операция инициируемая нажатием клавиши large-scale operation крупномасштабная операция linear operation вчт. линейная операция linear operations вчт. линейные операции logic operation вчт. логическая операция loss during operation потери при эксплуатации manual operation ручная операция manual operation ручная работа maximization operation операция максимизации maximization operation операция определения максимума maximum operation операция максимизации military operation военная операция minimization operation операция минимизации mismatch operation вчт. операция обнаружения рассогласования monadic operation вчт. унарная операция multiple operations вчт. совмещенные операции multitask operation вчт. многозадачный режим neighborhood operation операция определения соседства no operation вчт. холостая операция nonarithmetical operation вчт. неарифметическая операция nondata operation вчт. операция не связанная с обработкой данных normal operation нормальная эксплуатация off-line operation вчт. автономная работа on-line operation вчт. работа в реальном времени one-shot operation вчт. пошаговая работа one-step operation вчт. пошаговая работа operation ведение хозяйственной деятельности operation мат. действие operation действие, операция; работа; приведение в действие; to come into operation начать действовать operation действие operation вчт. операция operation операция (хирургическая) operation проведение опыта, эксперимента operation процесс operation работа operation разработка, эксплуатация operation технологическая операция operation торговая операция operation торговля operation управление (предприятием и т. п.) operation управление машиной operation управление производством operation установка operation учетно-счетная операция operation финансовая операция operation функционирование operation цикл обработки operation эксплуатация operation юридическая сила operation юридические последствия operation юридическое действие operation attr. эксплуатационный; operation costs расходы по эксплуатации operation attr. эксплуатационный; operation costs расходы по эксплуатации operation of company деятельность компании operation of railway работа железной дороги OR operation вчт. операция ИЛИ output operation вчт. операция вывода overhead operation вчт. служебная операция parallel operation параллельная сделка paste operation вчт. операция вставки pipeline operation вчт. работа в конвейерном режиме pixel-level operation вчт. операция обработки элементов изображения primary operation первичная обработка primary operation первичная операция primitive operation вчт. базовая операция prune operation вчт. операция отсечения queue operation вчт. работа с очередями queueing operation вчт. образование очереди queueing operation работа системы массового обслуживания real-time operation вчт. вычисление в реальном времени real-time operation вчт. работа в реальном масштабе времени red ink operation убыточная операция red ink operation убыточная сделка red-tape operation вчт. служебная операция refinement operation вчт. уточнение данных refunding operation операция рефинансирования refunding operation рефинансирование retrieval operation вчт. информационно-поисковая операция risk capital operation операция с рисковым капиталом round-the-clock operation круглосуточная работа round-the-clock operation непрерывное производство sales-floor operation работа торгового зала магазина scheduled operation вчт. регламентная работа secondary operation добыча нефти вторичными методами semiduplex operation вчт. полудуплексный режим работы service operation вчт. операция обслуживания simultaneous operation параллельная работа single-mode operation вчт. одномодовый режим single-program operation вчт. однопрограммная работа single-store operation торговые операции фирмы в одном магазине single-task operation вчт. работа с одной заадчей small-signal operation вчт. режим малых сигналов smoothing operation вчт. операция сглаживания start-stop operation вчт. стартстопный режим syndicate operation синдицированная операция takedown operation вчт. операция подготовки к следующей работе team operation вчт. групповая разработка time consuming operation вчт. длинная операция two-shift operation двухсменная работа unary operation вчт. унарная операция unattended operation работа без надзора unauthorized operation несанкционированное действие under-control operation подконтрольная эксплуатация union operation вчт. операция ИЛИ unit operation вчт. единичное преобразование unloading operation вчт. операция вывода unloading operation вчт. операция разгрузки unnecessary operation вчт. неправильное действие реле up operation вчт. операция освобождения venture operation финансовая операция, связанная с риском write operation вчт. операция записи -
12 Artificial Intelligence
In my opinion, none of [these programs] does even remote justice to the complexity of human mental processes. Unlike men, "artificially intelligent" programs tend to be single minded, undistractable, and unemotional. (Neisser, 1967, p. 9)Future progress in [artificial intelligence] will depend on the development of both practical and theoretical knowledge.... As regards theoretical knowledge, some have sought a unified theory of artificial intelligence. My view is that artificial intelligence is (or soon will be) an engineering discipline since its primary goal is to build things. (Nilsson, 1971, pp. vii-viii)Most workers in AI [artificial intelligence] research and in related fields confess to a pronounced feeling of disappointment in what has been achieved in the last 25 years. Workers entered the field around 1950, and even around 1960, with high hopes that are very far from being realized in 1972. In no part of the field have the discoveries made so far produced the major impact that was then promised.... In the meantime, claims and predictions regarding the potential results of AI research had been publicized which went even farther than the expectations of the majority of workers in the field, whose embarrassments have been added to by the lamentable failure of such inflated predictions....When able and respected scientists write in letters to the present author that AI, the major goal of computing science, represents "another step in the general process of evolution"; that possibilities in the 1980s include an all-purpose intelligence on a human-scale knowledge base; that awe-inspiring possibilities suggest themselves based on machine intelligence exceeding human intelligence by the year 2000 [one has the right to be skeptical]. (Lighthill, 1972, p. 17)4) Just as Astronomy Succeeded Astrology, the Discovery of Intellectual Processes in Machines Should Lead to a Science, EventuallyJust as astronomy succeeded astrology, following Kepler's discovery of planetary regularities, the discoveries of these many principles in empirical explorations on intellectual processes in machines should lead to a science, eventually. (Minsky & Papert, 1973, p. 11)5) Problems in Machine Intelligence Arise Because Things Obvious to Any Person Are Not Represented in the ProgramMany problems arise in experiments on machine intelligence because things obvious to any person are not represented in any program. One can pull with a string, but one cannot push with one.... Simple facts like these caused serious problems when Charniak attempted to extend Bobrow's "Student" program to more realistic applications, and they have not been faced up to until now. (Minsky & Papert, 1973, p. 77)What do we mean by [a symbolic] "description"? We do not mean to suggest that our descriptions must be made of strings of ordinary language words (although they might be). The simplest kind of description is a structure in which some features of a situation are represented by single ("primitive") symbols, and relations between those features are represented by other symbols-or by other features of the way the description is put together. (Minsky & Papert, 1973, p. 11)[AI is] the use of computer programs and programming techniques to cast light on the principles of intelligence in general and human thought in particular. (Boden, 1977, p. 5)The word you look for and hardly ever see in the early AI literature is the word knowledge. They didn't believe you have to know anything, you could always rework it all.... In fact 1967 is the turning point in my mind when there was enough feeling that the old ideas of general principles had to go.... I came up with an argument for what I called the primacy of expertise, and at the time I called the other guys the generalists. (Moses, quoted in McCorduck, 1979, pp. 228-229)9) Artificial Intelligence Is Psychology in a Particularly Pure and Abstract FormThe basic idea of cognitive science is that intelligent beings are semantic engines-in other words, automatic formal systems with interpretations under which they consistently make sense. We can now see why this includes psychology and artificial intelligence on a more or less equal footing: people and intelligent computers (if and when there are any) turn out to be merely different manifestations of the same underlying phenomenon. Moreover, with universal hardware, any semantic engine can in principle be formally imitated by a computer if only the right program can be found. And that will guarantee semantic imitation as well, since (given the appropriate formal behavior) the semantics is "taking care of itself" anyway. Thus we also see why, from this perspective, artificial intelligence can be regarded as psychology in a particularly pure and abstract form. The same fundamental structures are under investigation, but in AI, all the relevant parameters are under direct experimental control (in the programming), without any messy physiology or ethics to get in the way. (Haugeland, 1981b, p. 31)There are many different kinds of reasoning one might imagine:Formal reasoning involves the syntactic manipulation of data structures to deduce new ones following prespecified rules of inference. Mathematical logic is the archetypical formal representation. Procedural reasoning uses simulation to answer questions and solve problems. When we use a program to answer What is the sum of 3 and 4? it uses, or "runs," a procedural model of arithmetic. Reasoning by analogy seems to be a very natural mode of thought for humans but, so far, difficult to accomplish in AI programs. The idea is that when you ask the question Can robins fly? the system might reason that "robins are like sparrows, and I know that sparrows can fly, so robins probably can fly."Generalization and abstraction are also natural reasoning process for humans that are difficult to pin down well enough to implement in a program. If one knows that Robins have wings, that Sparrows have wings, and that Blue jays have wings, eventually one will believe that All birds have wings. This capability may be at the core of most human learning, but it has not yet become a useful technique in AI.... Meta- level reasoning is demonstrated by the way one answers the question What is Paul Newman's telephone number? You might reason that "if I knew Paul Newman's number, I would know that I knew it, because it is a notable fact." This involves using "knowledge about what you know," in particular, about the extent of your knowledge and about the importance of certain facts. Recent research in psychology and AI indicates that meta-level reasoning may play a central role in human cognitive processing. (Barr & Feigenbaum, 1981, pp. 146-147)Suffice it to say that programs already exist that can do things-or, at the very least, appear to be beginning to do things-which ill-informed critics have asserted a priori to be impossible. Examples include: perceiving in a holistic as opposed to an atomistic way; using language creatively; translating sensibly from one language to another by way of a language-neutral semantic representation; planning acts in a broad and sketchy fashion, the details being decided only in execution; distinguishing between different species of emotional reaction according to the psychological context of the subject. (Boden, 1981, p. 33)Can the synthesis of Man and Machine ever be stable, or will the purely organic component become such a hindrance that it has to be discarded? If this eventually happens-and I have... good reasons for thinking that it must-we have nothing to regret and certainly nothing to fear. (Clarke, 1984, p. 243)The thesis of GOFAI... is not that the processes underlying intelligence can be described symbolically... but that they are symbolic. (Haugeland, 1985, p. 113)14) Artificial Intelligence Provides a Useful Approach to Psychological and Psychiatric Theory FormationIt is all very well formulating psychological and psychiatric theories verbally but, when using natural language (even technical jargon), it is difficult to recognise when a theory is complete; oversights are all too easily made, gaps too readily left. This is a point which is generally recognised to be true and it is for precisely this reason that the behavioural sciences attempt to follow the natural sciences in using "classical" mathematics as a more rigorous descriptive language. However, it is an unfortunate fact that, with a few notable exceptions, there has been a marked lack of success in this application. It is my belief that a different approach-a different mathematics-is needed, and that AI provides just this approach. (Hand, quoted in Hand, 1985, pp. 6-7)We might distinguish among four kinds of AI.Research of this kind involves building and programming computers to perform tasks which, to paraphrase Marvin Minsky, would require intelligence if they were done by us. Researchers in nonpsychological AI make no claims whatsoever about the psychological realism of their programs or the devices they build, that is, about whether or not computers perform tasks as humans do.Research here is guided by the view that the computer is a useful tool in the study of mind. In particular, we can write computer programs or build devices that simulate alleged psychological processes in humans and then test our predictions about how the alleged processes work. We can weave these programs and devices together with other programs and devices that simulate different alleged mental processes and thereby test the degree to which the AI system as a whole simulates human mentality. According to weak psychological AI, working with computer models is a way of refining and testing hypotheses about processes that are allegedly realized in human minds.... According to this view, our minds are computers and therefore can be duplicated by other computers. Sherry Turkle writes that the "real ambition is of mythic proportions, making a general purpose intelligence, a mind." (Turkle, 1984, p. 240) The authors of a major text announce that "the ultimate goal of AI research is to build a person or, more humbly, an animal." (Charniak & McDermott, 1985, p. 7)Research in this field, like strong psychological AI, takes seriously the functionalist view that mentality can be realized in many different types of physical devices. Suprapsychological AI, however, accuses strong psychological AI of being chauvinisticof being only interested in human intelligence! Suprapsychological AI claims to be interested in all the conceivable ways intelligence can be realized. (Flanagan, 1991, pp. 241-242)16) Determination of Relevance of Rules in Particular ContextsEven if the [rules] were stored in a context-free form the computer still couldn't use them. To do that the computer requires rules enabling it to draw on just those [ rules] which are relevant in each particular context. Determination of relevance will have to be based on further facts and rules, but the question will again arise as to which facts and rules are relevant for making each particular determination. One could always invoke further facts and rules to answer this question, but of course these must be only the relevant ones. And so it goes. It seems that AI workers will never be able to get started here unless they can settle the problem of relevance beforehand by cataloguing types of context and listing just those facts which are relevant in each. (Dreyfus & Dreyfus, 1986, p. 80)Perhaps the single most important idea to artificial intelligence is that there is no fundamental difference between form and content, that meaning can be captured in a set of symbols such as a semantic net. (G. Johnson, 1986, p. 250)Artificial intelligence is based on the assumption that the mind can be described as some kind of formal system manipulating symbols that stand for things in the world. Thus it doesn't matter what the brain is made of, or what it uses for tokens in the great game of thinking. Using an equivalent set of tokens and rules, we can do thinking with a digital computer, just as we can play chess using cups, salt and pepper shakers, knives, forks, and spoons. Using the right software, one system (the mind) can be mapped into the other (the computer). (G. Johnson, 1986, p. 250)19) A Statement of the Primary and Secondary Purposes of Artificial IntelligenceThe primary goal of Artificial Intelligence is to make machines smarter.The secondary goals of Artificial Intelligence are to understand what intelligence is (the Nobel laureate purpose) and to make machines more useful (the entrepreneurial purpose). (Winston, 1987, p. 1)The theoretical ideas of older branches of engineering are captured in the language of mathematics. We contend that mathematical logic provides the basis for theory in AI. Although many computer scientists already count logic as fundamental to computer science in general, we put forward an even stronger form of the logic-is-important argument....AI deals mainly with the problem of representing and using declarative (as opposed to procedural) knowledge. Declarative knowledge is the kind that is expressed as sentences, and AI needs a language in which to state these sentences. Because the languages in which this knowledge usually is originally captured (natural languages such as English) are not suitable for computer representations, some other language with the appropriate properties must be used. It turns out, we think, that the appropriate properties include at least those that have been uppermost in the minds of logicians in their development of logical languages such as the predicate calculus. Thus, we think that any language for expressing knowledge in AI systems must be at least as expressive as the first-order predicate calculus. (Genesereth & Nilsson, 1987, p. viii)21) Perceptual Structures Can Be Represented as Lists of Elementary PropositionsIn artificial intelligence studies, perceptual structures are represented as assemblages of description lists, the elementary components of which are propositions asserting that certain relations hold among elements. (Chase & Simon, 1988, p. 490)Artificial intelligence (AI) is sometimes defined as the study of how to build and/or program computers to enable them to do the sorts of things that minds can do. Some of these things are commonly regarded as requiring intelligence: offering a medical diagnosis and/or prescription, giving legal or scientific advice, proving theorems in logic or mathematics. Others are not, because they can be done by all normal adults irrespective of educational background (and sometimes by non-human animals too), and typically involve no conscious control: seeing things in sunlight and shadows, finding a path through cluttered terrain, fitting pegs into holes, speaking one's own native tongue, and using one's common sense. Because it covers AI research dealing with both these classes of mental capacity, this definition is preferable to one describing AI as making computers do "things that would require intelligence if done by people." However, it presupposes that computers could do what minds can do, that they might really diagnose, advise, infer, and understand. One could avoid this problematic assumption (and also side-step questions about whether computers do things in the same way as we do) by defining AI instead as "the development of computers whose observable performance has features which in humans we would attribute to mental processes." This bland characterization would be acceptable to some AI workers, especially amongst those focusing on the production of technological tools for commercial purposes. But many others would favour a more controversial definition, seeing AI as the science of intelligence in general-or, more accurately, as the intellectual core of cognitive science. As such, its goal is to provide a systematic theory that can explain (and perhaps enable us to replicate) both the general categories of intentionality and the diverse psychological capacities grounded in them. (Boden, 1990b, pp. 1-2)Because the ability to store data somewhat corresponds to what we call memory in human beings, and because the ability to follow logical procedures somewhat corresponds to what we call reasoning in human beings, many members of the cult have concluded that what computers do somewhat corresponds to what we call thinking. It is no great difficulty to persuade the general public of that conclusion since computers process data very fast in small spaces well below the level of visibility; they do not look like other machines when they are at work. They seem to be running along as smoothly and silently as the brain does when it remembers and reasons and thinks. On the other hand, those who design and build computers know exactly how the machines are working down in the hidden depths of their semiconductors. Computers can be taken apart, scrutinized, and put back together. Their activities can be tracked, analyzed, measured, and thus clearly understood-which is far from possible with the brain. This gives rise to the tempting assumption on the part of the builders and designers that computers can tell us something about brains, indeed, that the computer can serve as a model of the mind, which then comes to be seen as some manner of information processing machine, and possibly not as good at the job as the machine. (Roszak, 1994, pp. xiv-xv)The inner workings of the human mind are far more intricate than the most complicated systems of modern technology. Researchers in the field of artificial intelligence have been attempting to develop programs that will enable computers to display intelligent behavior. Although this field has been an active one for more than thirty-five years and has had many notable successes, AI researchers still do not know how to create a program that matches human intelligence. No existing program can recall facts, solve problems, reason, learn, and process language with human facility. This lack of success has occurred not because computers are inferior to human brains but rather because we do not yet know in sufficient detail how intelligence is organized in the brain. (Anderson, 1995, p. 2)Historical dictionary of quotations in cognitive science > Artificial Intelligence
См. также в других словарях:
Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Comparison of C Sharp and Java — The correct title of this article is Comparison of C# and Java. The substitution or omission of the # sign is because of technical restrictions. Programming language comparisons General comparison Basic syntax Basic instructions … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Indian philosophy — Any of the numerous philosophical systems developed on the Indian subcontinent, including both orthodox (astika) systems, namely, the Nyaya, Vaisheshika, Samkhya, Yoga, Mimamsa, and Vedanta schools of philosophy, and unorthodox (nastika) systems … Universalium
Principia Mathematica — For Isaac Newton s book containing basic laws of physics, see Philosophiæ Naturalis Principia Mathematica. The title page of the shortened version of the Principia Mathematica to *56. The Principia Mathematica is a three volume work on the… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
History of logic — Philosophy ( … Wikipedia
